perm filename OUTGO.MSG[1,JMC]5 blob sn#652613 filedate 1982-04-10 generic text, type C, neo UTF8
COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002
C00003 ENDMK
C⊗;
∂01-Apr-82  1043	JMC  
To:   ota at S1-A 
That will be fine.  Because of lack of terminals, a telephone call to
Fran Larson 497-2800 is more reliable than a net message.  If you can't
get her (she's sometimes unavailable), a telephone call to the department
number will do it.

∂01-Apr-82  1142	JMC  
To:   FFL    
Dinner with Susie and Dan tonight?

∂01-Apr-82  1639	JMC  
To:   shapiro at YALE  
I just read your note, and I would have tried to use its contents.
However, the matter is settled for now.

∂01-Apr-82  1859	JMC  
To:   FFL    
Please print a copy of Marconi letter and include it in file.

∂02-Apr-82  0032	JMC  
To:   ota at S1-A 
I also must come back Sunday.

∂02-Apr-82  0049	JMC  
To:   CLT    
Have you taken the phone off the hook?

∂02-Apr-82  0134	JMC  	polylogarithm book review    
To:   RWG    
The review of "Polylogarithms and associated functions" in the
latest March 1982 Bulletin of the AMS is very illuminating to me.
You might find it so also.

∂05-Apr-82  1502	JMC  
To:   PJH    
I will also be taking some part in SRI's "Common sense month".

∂06-Apr-82  0212	JMC  
To:   ARK    
How to get accents in Scribe with Helvetica 10.

∂06-Apr-82  0938	JMC  	computer charges   
To:   RPG    
My opinion is that we should pay increased computer charges unless
they are unaffordable.  The sad fact is that running a computer is
expensive.

∂06-Apr-82  0943	JMC  
To:   EJS    
I have tried to phone Miller without result.  I'll try again.

∂06-Apr-82  0953	JMC  
To:   RWW, RPG    
 ∂06-Apr-82  0942	RWW  	new pricing for SAIL    
It seems to me that this new scheme has made SAIL almonst too costly to
continue doing much work.  Also its retroactive application seems unfair.
This continual change of rules is unacceptable.  I am seriously thinking
using SCORE or maybe the VAX.  Is there any form of relief short of stopping
using SAIL?  
Richard
I think we need to dig ourselves out of the hole by paying higher
prices for a while.  Do you have any information on what are the
relative costs of doing the same job on SCORE and SAIL?

∂06-Apr-82  1026	JMC  
To:   RWW    
Why don't you ask Marty or Ralph?

∂07-Apr-82  1614	JMC  
To:   FFL    
Please mail him a copy of the MAPS paper when it's ready.
Makowsky, J.A.	Computer Science Dept., Technion - Israel Institute
		of Technology,  Haifa, ISRAEL

∂07-Apr-82  2219	JMC  
To:   RPG    
Are we paying for Scott Kim?  We shouldn't be.

∂08-Apr-82  0035	JMC  	reference
To:   MDD    
If you could remind me to whom I sent previous letters of recommendation,
I could dredge out the old letter and refurbish it.

∂08-Apr-82  0145	JMC  	tail recursive cons
To:   RPG    
Prolog compiles definitions resembling

(defun append (u v) (if (null u) v (cons (car u) (append (cdr u) v))))

in a tail recursive way.  Namely, the cons is done before the
inner call of append and the result of the latter is rplacded in.
This avoids stack use.  It seems to me that much use of  progs  would
be avoided if Lisp did this.  One way of doing it is to transform the
source into an equivalent source using  rplacd  such as

(defun append (u v) (if (null u) v (let (w (cons (car u) v))
	(app1 w w (cdr u)))))

(defun app1 (w z u) (if (null u) w (let (zz (cons (car u) (cdr z)))
	(app1 w (cdr (rplacd zz (cdr u)))))))

or something like that.

∂08-Apr-82  1055	JMC  
To:   Colmerauer at MIT-MULTICS  
I plan to arrive in Marseilles on Air Inter 6463 at 8:10pm on Sunday
April 11.  Please acknowledge receiving this message to JMC@SU-AI if
you know how.

∂08-Apr-82  1131	JMC  
To:   FFL    
renew.82[w82,jmc] is the text for my NSF renewal proposal.

∂08-Apr-82  1145	JMC  
To:   FFL    
To get DAVIS.RE1[let,jmc]
 ∂02-Apr-82  1448	MDD   via NYU  
Thank you.  The inquiry I expect would come from Professor Duncan Buell,
Computer Science Department, Louisiana State University,
Baton Rouge, LA 70803. -Martin

∂08-Apr-82  1146	JMC  
To:   FFL    
 ∂03-Apr-82  0939	MDD   via NYU  
On second thought, please send the letter to LSU without waiting
for their request.  Please also send one to: Professor Norman Gibbs,
Computer Science Department, Arizona State University, Tempe, AZ 85287.7 7

∂08-Apr-82  1404	JMC  
To:   JK
Chien agreed to deal directly with Betty Scott.

∂09-Apr-82  1424	JMC  
To:   TW
I need my copy of the Prolog book by 4pm Saturday to take on my trip.

∂09-Apr-82  1549	JMC  	abstract 
To:   FFL    
The abstract is page 3 of MAPS[E81,JMC].  You can move it to the beginning
or to a separate file according to convenience.  I have also changed two
occurrences of  B  to  D  on line 207 of the source file.

∂09-Apr-82  1605	JMC  
To:   TW
You're in luck.  A copy for Zohar came today, and since he's away, I
can borrow that.

∂09-Apr-82  1641	JMC  
To:   FFL    
cocke.1

∂09-Apr-82  2359	JMC  
To:   FFL    
Please send MAPS to Prof. Rod Burstall, Edinburgh University, Edinburgh, UK.

∂10-Apr-82  1554	JMC  
To:   FFL    
Please make out invoices for

March 30 and 31, III technical committee.  The expenses were
air travel, parking, Stanford - San Jose driving and return
and one motel night at $40.00.

Also Livermore consulting Monday April 5 and a half day Thursday
April 8.  $6.30 meals first day and no meals second day.

I forgot to ask for reimbursement for dinnner for Shapiro and others.
It was $91.60 and is CSD recruiting expense.

I suppose you can send the invoices to France for me to sign.

∂10-Apr-82  1640	JMC  →15131 (20-Jun-82)  
To:   "#___JMC.PLN[2,2]"    
I will be in Marseilles, France until May 8, at Imperial College, London
until June 6, and in New York till June 10.  Fran Larsen (FFL) will know
how to reach me.